Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems

We study black-box testing for stochastic systems and arbitrary ?-regular specifications, explicitly including liveness properties. We are given a finite-state probabilistic system that we can only execute from the initial state. We have no information on the number of reachable states, or on the probabilities; further, we can only partially observe the states. The only action we can take is to restart the system. We design restart strategies guaranteeing that, if the specification is violated with non-zero probability, then w.p.1 the number of restarts is finite, and the infinite run executed after the last restart violates the specification. This improves on previous work that required full observability. We obtain asymptotically optimal upper bounds on the expected number of steps until the last restart. We conduct experiments on a number of benchmarks, and show that our strategies allow one to find violations in Markov chains much larger than the ones considered in previous work

Topological Point Cloud Clustering

We present Topological Point Cloud Clustering (TPCC), a new method to cluster points in an arbitrary point cloud based on their contribution to global topological features. TPCC synthesizes desirable features from spectral clustering and topological data analysis and is based on considering the spectral properties of a simplicial complex associated to the considered point cloud. As it is based on considering sparse eigenvector computations, TPCC is similarly easy to interpret and implement as spectral clustering. However, by focusing not just on a single matrix associated to a graph created from the point cloud data, but on a whole set of Hodge-Laplacians associated to an appropriately constructed simplicial complex, we can leverage a far richer set of topological features to characterize the data points within the point cloud and benefit from the relative robustness of topological techniques against noise. We test the performance of TPCC on both synthetic and real-world data and compare it with classical spectral clustering

Non-isotropic Persistent Homology: Leveraging the Metric Dependency of PH

Persistent Homology is a widely used topological data analysis tool that creates a concise description of the topological properties of a point cloud based on a specified filtration. Most filtrations used for persistent homology depend (implicitly) on a chosen metric, which is typically agnostically chosen as the standard Euclidean metric on $\mathbb{R}^n$. Recent work has tried to uncover the 'true' metric on the point cloud using distance-to-measure functions, in order to obtain more meaningful persistent homology results. Here we propose an alternative look at this problem: we posit that information on the point cloud is lost when restricting persistent homology to a single (correct) distance function. Instead, we show how by varying the distance function on the underlying space and analysing the corresponding shifts in the persistence diagrams, we can extract additional topological and geometrical information. Finally, we numerically show that non-isotropic persistent homology can extract information on orientation, orientational variance, and scaling of randomly generated point clouds with good accuracy and conduct some experiments on real-world data.Comment: 30 pages, 17 figures, comments welcome

Signal Processing on Product Spaces

We establish a framework for signal processing on product spaces of simplicial and cellular complexes. For simplicity, we focus on the product of two complexes representing time and space, although our results generalize naturally to products of simplicial complexes of arbitrary dimension. Our framework leverages the structure of the eigenmodes of the Hodge Laplacian of the product space to jointly filter along time and space. To this end, we provide a decomposition theorem of the Hodge Laplacian of the product space, which highlights how the product structure induces a decomposition of each eigenmode into a spatial and temporal component. Finally, we apply our method to real world data, specifically for interpolating trajectories of buoys in the ocean from a limited set of observed trajectories

Diverse New Microvertebrate Assemblage from the Upper Triassic Cumnock Formation, Sanford Subbasin, North Carolina, USA

The Moncure microvertebrate locality in the Cumnock Formation, Sanford sub-basin, North Carolina, dramatically increases the known Late Triassic age vertebrate assemblage from the Deep River Basin. The 50,000 recovered microvertebrate fossils include osteichthyans, amphibians, and numerous lepidosauromorph, archosauriform, and synapsid amniotes. Actinopterygian fossils consist of thousands of scales, teeth, skull, and lower jaw fragments, principally of redfieldiids and semionotids. Non-tetrapod sarcopterygians include the dipnoan Arganodus sp., the first record of lungfish in the Newark Supergroup. Temnospondyls are comparatively rare but the preserved centra, teeth, and skull fragments probably represent small (juvenile) metoposaurids. Two fragmentary teeth are assigned to the unusual reptile Colognathus obscurus (Case). Poorly preserved but intriguing records include acrodont and pleurodont jaw fragments tentatively assigned to lepidosaurs. Among the archosauriform teeth is a taxon distinct from R. callenderi that we assign to Revueltosaurus olseni new combination, a morphotype best assigned to cf. Galtonia, the first Newark Supergroup record of Crosbysaurus sp., and several other archosauriform tooth morphotypes, as well as grooved teeth assigned to the recently named species Uatchitodon schneideri. Synapsids represented by molariform teeth include both "traversodontids" assigned to aff. Boreogomphodon and the "dromatheriid" Microconodon. These records are biogeographically important, with many new records for the Cumnock Formation and/or the Newark Supergroup. In particular, Colognathus, Crosbysaurus, and Uatchitodon are known from basins of Adamanian age in the southwestern U.S.A. These new records include microvertebrate taxa more typical of non-Newark basins (abundant archosauriforms, temnospondyls, lungfish) as well as more typical Newark osteichthyans and synapsid-rich faunal elements

Potential Benefits of Sequential Inhibitor-Mutagen Treatments of RNA Virus Infections

Lethal mutagenesis is an antiviral strategy consisting of virus extinction associated with enhanced mutagenesis. The use of non-mutagenic antiviral inhibitors has faced the problem of selection of inhibitor-resistant virus mutants. Quasispecies dynamics predicts, and clinical results have confirmed, that combination therapy has an advantage over monotherapy to delay or prevent selection of inhibitor-escape mutants. Using ribavirin-mediated mutagenesis of foot-and-mouth disease virus (FMDV), here we show that, contrary to expectations, sequential administration of the antiviral inhibitor guanidine (GU) first, followed by ribavirin, is more effective than combination therapy with the two drugs, or than either drug used individually. Coelectroporation experiments suggest that limited inhibition of replication of interfering mutants by GU may contribute to the benefits of the sequential treatment. In lethal mutagenesis, a sequential inhibitor-mutagen treatment can be more effective than the corresponding combination treatment to drive a virus towards extinction. Such an advantage is also supported by a theoretical model for the evolution of a viral population under the action of increased mutagenesis in the presence of an inhibitor of viral replication. The model suggests that benefits of the sequential treatment are due to the involvement of a mutagenic agent, and to competition for susceptible cells exerted by the mutant spectrum. The results may impact lethal mutagenesis-based protocols, as well as current antiviral therapies involving ribavirin

Racial differences in systemic sclerosis disease presentation: a European Scleroderma Trials and Research group study

Objectives. Racial factors play a significant role in SSc. We evaluated differences in SSc presentations between white patients (WP), Asian patients (AP) and black patients (BP) and analysed the effects of geographical locations.Methods. SSc characteristics of patients from the EUSTAR cohort were cross-sectionally compared across racial groups using survival and multiple logistic regression analyses.Results. The study included 9162 WP, 341 AP and 181 BP. AP developed the first non-RP feature faster than WP but slower than BP. AP were less frequently anti-centromere (ACA; odds ratio (OR) = 0.4, P < 0.001) and more frequently anti-topoisomerase-I autoantibodies (ATA) positive (OR = 1.2, P = 0.068), while BP were less likely to be ACA and ATA positive than were WP [OR(ACA) = 0.3, P < 0.001; OR(ATA) = 0.5, P = 0.020]. AP had less often (OR = 0.7, P = 0.06) and BP more often (OR = 2.7, P < 0.001) diffuse skin involvement than had WP.AP and BP were more likely to have pulmonary hypertension [OR(AP) = 2.6, P < 0.001; OR(BP) = 2.7, P = 0.03 vs WP] and a reduced forced vital capacity [OR(AP) = 2.5, P < 0.001; OR(BP) = 2.4, P < 0.004] than were WP. AP more often had an impaired diffusing capacity of the lung than had BP and WP [OR(AP vs BP) = 1.9, P = 0.038; OR(AP vs WP) = 2.4, P < 0.001]. After RP onset, AP and BP had a higher hazard to die than had WP [hazard ratio (HR) (AP) = 1.6, P = 0.011; HR(BP) = 2.1, P < 0.001].Conclusion. Compared with WP, and mostly independent of geographical location, AP have a faster and earlier disease onset with high prevalences of ATA, pulmonary hypertension and forced vital capacity impairment and higher mortality. BP had the fastest disease onset, a high prevalence of diffuse skin involvement and nominally the highest mortality

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Document recommendation systems for locating relevant literature have mostly relied on methods developed a decade ago. This is largely due to the lack of a large offline gold-standard benchmark of relevant documents that cover a variety of research fields such that newly developed literature search techniques can be compared, improved and translated into practice. To overcome this bottleneck, we have established the RElevant LIterature SearcH consortium consisting of more than 1500 scientists from 84 countries, who have collectively annotated the relevance of over 180 000 PubMed-listed articles with regard to their respective seed (input) article/s. The majority of annotations were contributed by highly experienced, original authors of the seed articles. The collected data cover 76% of all unique PubMed Medical Subject Headings descriptors. No systematic biases were observed across different experience levels, research fields or time spent on annotations. More importantly, annotations of the same document pairs contributed by different scientists were highly concordant. We further show that the three representative baseline methods used to generate recommended articles for evaluation (Okapi Best Matching 25, Term Frequency-Inverse Document Frequency and PubMed Related Articles) had similar overall performances. Additionally, we found that these methods each tend to produce distinct collections of recommended articles, suggesting that a hybrid method may be required to completely capture all relevant articles. The established database server located at https://relishdb.ict.griffith.edu.au is freely available for the downloading of annotation data and the blind testing of new methods. We expect that this benchmark will be useful for stimulating the development of new powerful techniques for title and title/abstract-based search engines for relevant articles in biomedical research.Peer reviewe

New insights into the genetic etiology of Alzheimer's disease and related dementias

Characterization of the genetic landscape of Alzheimer's disease (AD) and related dementias (ADD) provides a unique opportunity for a better understanding of the associated pathophysiological processes. We performed a two-stage genome-wide association study totaling 111,326 clinically diagnosed/'proxy' AD cases and 677,663 controls. We found 75 risk loci, of which 42 were new at the time of analysis. Pathway enrichment analyses confirmed the involvement of amyloid/tau pathways and highlighted microglia implication. Gene prioritization in the new loci identified 31 genes that were suggestive of new genetically associated processes, including the tumor necrosis factor alpha pathway through the linear ubiquitin chain assembly complex. We also built a new genetic risk score associated with the risk of future AD/dementia or progression from mild cognitive impairment to AD/dementia. The improvement in prediction led to a 1.6- to 1.9-fold increase in AD risk from the lowest to the highest decile, in addition to effects of age and the APOE ε4 allele

Effect of Hydrocortisone on Mortality and Organ Support in Patients With Severe COVID-19: The REMAP-CAP COVID-19 Corticosteroid Domain Randomized Clinical Trial.

Importance: Evidence regarding corticosteroid use for severe coronavirus disease 2019 (COVID-19) is limited. Objective: To determine whether hydrocortisone improves outcome for patients with severe COVID-19. Design, Setting, and Participants: An ongoing adaptive platform trial testing multiple interventions within multiple therapeutic domains, for example, antiviral agents, corticosteroids, or immunoglobulin. Between March 9 and June 17, 2020, 614 adult patients with suspected or confirmed COVID-19 were enrolled and randomized within at least 1 domain following admission to an intensive care unit (ICU) for respiratory or cardiovascular organ support at 121 sites in 8 countries. Of these, 403 were randomized to open-label interventions within the corticosteroid domain. The domain was halted after results from another trial were released. Follow-up ended August 12, 2020. Interventions: The corticosteroid domain randomized participants to a fixed 7-day course of intravenous hydrocortisone (50 mg or 100 mg every 6 hours) (n = 143), a shock-dependent course (50 mg every 6 hours when shock was clinically evident) (n = 152), or no hydrocortisone (n = 108). Main Outcomes and Measures: The primary end point was organ support-free days (days alive and free of ICU-based respiratory or cardiovascular support) within 21 days, where patients who died were assigned -1 day. The primary analysis was a bayesian cumulative logistic model that included all patients enrolled with severe COVID-19, adjusting for age, sex, site, region, time, assignment to interventions within other domains, and domain and intervention eligibility. Superiority was defined as the posterior probability of an odds ratio greater than 1 (threshold for trial conclusion of superiority >99%). Results: After excluding 19 participants who withdrew consent, there were 384 patients (mean age, 60 years; 29% female) randomized to the fixed-dose (n = 137), shock-dependent (n = 146), and no (n = 101) hydrocortisone groups; 379 (99%) completed the study and were included in the analysis. The mean age for the 3 groups ranged between 59.5 and 60.4 years; most patients were male (range, 70.6%-71.5%); mean body mass index ranged between 29.7 and 30.9; and patients receiving mechanical ventilation ranged between 50.0% and 63.5%. For the fixed-dose, shock-dependent, and no hydrocortisone groups, respectively, the median organ support-free days were 0 (IQR, -1 to 15), 0 (IQR, -1 to 13), and 0 (-1 to 11) days (composed of 30%, 26%, and 33% mortality rates and 11.5, 9.5, and 6 median organ support-free days among survivors). The median adjusted odds ratio and bayesian probability of superiority were 1.43 (95% credible interval, 0.91-2.27) and 93% for fixed-dose hydrocortisone, respectively, and were 1.22 (95% credible interval, 0.76-1.94) and 80% for shock-dependent hydrocortisone compared with no hydrocortisone. Serious adverse events were reported in 4 (3%), 5 (3%), and 1 (1%) patients in the fixed-dose, shock-dependent, and no hydrocortisone groups, respectively. Conclusions and Relevance: Among patients with severe COVID-19, treatment with a 7-day fixed-dose course of hydrocortisone or shock-dependent dosing of hydrocortisone, compared with no hydrocortisone, resulted in 93% and 80% probabilities of superiority with regard to the odds of improvement in organ support-free days within 21 days. However, the trial was stopped early and no treatment strategy met prespecified criteria for statistical superiority, precluding definitive conclusions. Trial Registration: ClinicalTrials.gov Identifier: NCT02735707